(0 9 3)(1 13 11)(2 17 15)(4 12 6)(5 16 7)(8 14 10)
ALLOWS (11/8)-SEQUENCE
1: (4 6 12)
(0 9 3)(1 13 11)(2 17 15)(4 6 12)(5 16 7)(8 14 10)
2: (5 16 7)
(0 9 3)(1 13 11)(2 17 15)(4 6 12)(5)(7)(8 14 10)(16)
3: (4 6 12)
(0 9 3)(1 13 11)(2 17 15)(4)(5)(6)(7)(8 14 10)(12)(16)
4: (1 13 11)
(0 9 3)(1)(2 17 15)(4)(5)(6)(7)(8 14 10)(11)(12)(13)(16)